Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
741	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science
742	Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-05-25 10:55:37 Functions and mappings Mixin Applied mathematics Lambda calculus Function Μ operator Calculus Mathematics Mathematical logic Computability theory
743	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
744	a YAP User’s Manual Version[removed]V´ıtor Santos Costa, Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2010-08-04 13:47:19 Constraint programming Prolog Logtalk YAP Logic programming Constraint Handling Rules Warren Abstract Machine Cygwin CLP Computing Software engineering Software
745	Microsoft Word - Junior Maths.doc Add to Reading List Source URL: www.completeschool.com.au Language: English - Date: 2010-03-06 03:54:22 Algebraic logic Evaluation Expression Equation Multiplication Polynomial Rational function Mathematics Abstract algebra Algebra
746	Dynamic Proof Theories For Input/Output Logic Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University August 28, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-08-29 06:09:36 Non-classical logic Modal logic Philosophical logic Model theory Deontic logic Default logic Function Interpretation Dc Logic Mathematical logic Mathematics
747	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic
748	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
749	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
750	The L LUNATIC Data-Cleaning Framework Floris Geerts1 Giansalvatore Mecca2 Paolo Papotti3 Donatello Santoro2,4 3 1 University of Antwerp – Antwerp, Belgium 2 Universit`a della Basilicata – Potenza, Italy Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-01 05:49:52 Binary operations Finitary relation Logic Mathematical logic Tuple Sheaf Mean Exponentiation Database normalization Mathematics Abstract algebra Data management

UPDATE